a natural inference

必然的推论